The Impressive Power of Stopwatches
نویسندگان
چکیده
In this paper we define and study the class of stopwatch automata which are timed automata augmented with stopwatches and unobservable behaviour. In particular, we investigate the expressive power of this class of automata, and show as a main result that any finite or infinite timed language accepted by a linear hybrid automaton is also acceptable by a stopwatch automaton. The consequences of this result are two-fold: firstly, it shows that the seemingly minor upgrade from timed automata to stopwatch automata immediately yields the full expressive power of linear hybrid automata. Secondly, reachability analysis of linear hybrid automata may effectively be reduced to reachability analysis of stopwatch automata. This, in turn, may be carried out using an easy (over-approximating) extension of the efficient reachability analysis for timed automata to stopwatch automata. We report on preliminary experiments on analyzing translations of linear hybrid automata using a stopwatch-extension of the real-time verification tool UPPAAL.
منابع مشابه
Stopwatches and Click Boxes: The Intersection of Scientific Management and Family Medicine.
متن کامل
Model-Checking for Weighted Timed Automata
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with costs on both edges and locations. When the costs act as stopwatches, we get stopwatch automata with the restriction that the stopwatches cannot be reset and tested. The weighted CTL logic is an extension of TCTL that a...
متن کاملPerformance and Emissions of a Tractor engine operating on biodiesel-diesel blends with EGR
The influences of different diesel/biodiesel blends and EGR rate on brake specific fuel consumption (BSFC), exhaust gas temperature, NO, HC, CO emissions, are studied and demonstrated. In this paper a four stroke direct injection, water cooled, diesel engine was used. Biodiesel either in neat form or as a blend with diesel fuel is extensively investigated to solve the twin problem of reduction ...
متن کاملMolecular epidemiology; New but impressive
Molecular epidemiology is a subdivision of medical science and epidemiology that emphases on the involvement of potential environmental and genetic risk factors, recognized at the molecular level, to the etiology and avoidance of sickness through populations. This arena has developed from the combination of molecular biology and traditional epidemiological research. Molecular...
متن کاملFace Detection at the Low Light Environments
Today, with the advancement of technology, the use of tools for extracting information from video are much wider in terms of both visual power and the processing power. High-speed car, perfect detection accuracy, business diversity in the fields of medical, home appliances, smart cars, humanoid robots, military systems and the commercialization makes these systems cost effective. Among the most...
متن کامل